Jean-Raymond Abrial (auth.): ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

წელი:

2006

ენა:

english

ფაილი:

PDF, 4.94 MB

0 / 0

english, 2006

2

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 2.93 MB

0 / 0

english, 2003

3

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 10.61 MB

0 / 0

english, 2009

4

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Einar Broch Johnsen, Luigia Petre (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 7.94 MB

0 / 0

english, 2013

5

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 5.05 MB

0 / 0

english, 2009

6

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Egon Börger (auth.), Jean-Raymond Abrial, Egon Börger, Hans Langmaack (eds.)

წელი:

1996

ენა:

english

ფაილი:

DJVU, 4.81 MB

0 / 0

english, 1996

7

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 3.05 MB

0 / 0

english, 2009

8

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 1.79 MB

0 / 0

english, 2003

9

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

წელი:

2006

ენა:

english

ფაილი:

PDF, 4.60 MB

0 / 0

english, 2006

10

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 5.34 MB

0 / 0

english, 2013

11

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 3.90 MB

0 / 0

english, 2009

12

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 3.13 MB

0 / 0

english, 2009